DisCSP.CSP
Class Domain

java.lang.Object
  DisCSP.CSP.Domain

public class Domain

extends java.lang.Object

Constructor Summary

Domain()
Costruttore di Domain

Domain(int v)
Costruttore di Domain

Domain(int min, int max)
Costruttore di Domain

Method Summary

void	addInterval(int min, int max) Aggiunge al dominio un intervallo di cui sono specificati l'estremo inferiore e l'estremo superiore
void	addValue(int v) Aggiunge un intero al dominio
int	cardinality() Restituisce la cardinalità del dominio
int	getMaxValue() Restituisce il valore più grande appartenente al dominio
int	getMinValue() Restituisce il valore più piccolo appartenente al dominio
boolean	isEmpty() Controlla se il dominio è vuoto
boolean	isPresent(int val) Controlla se un certo intero è presente nel dominio
java.lang.String	print() Stampa il dominio
void	removeValue(int v) Rimuove un valore dal dominio
int	valueAt(int index) Restituisce l'i-esimo valore del dominio

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Domain

public Domain()

Costruttore di Domain

Domain

public Domain(int v)

Costruttore di Domain

Parameters:

v - l'elemento del dominio

Domain

public Domain(int min,
              int max)

Costruttore di Domain

Parameters:

min - l'estremo inferiore del dominio

max - l'estremo superiore del dominio

Method Detail

addValue

public void addValue(int v)

Aggiunge un intero al dominio

Parameters:

v - il numero intero

isEmpty

public boolean isEmpty()

Controlla se il dominio è vuoto

Returns:

true se il dominio è vuoto, false altrimenti

addInterval

public void addInterval(int min,
                        int max)

Aggiunge al dominio un intervallo di cui sono specificati l'estremo inferiore e l'estremo superiore

Parameters:

min - l'estremo inferiore

max - l'estremo superiore

removeValue

public void removeValue(int v)

Rimuove un valore dal dominio

Parameters:

v - l'intero da rimuovere

valueAt

public int valueAt(int index)
            throws OutDomainException

Restituisce l'i-esimo valore del dominio

Returns:

l'i-esimo valore del dominio

Throws:

OutDomainException

print

public java.lang.String print()

Stampa il dominio

Returns:

una stringa che rappresenta il dominio

isPresent

public boolean isPresent(int val)

Controlla se un certo intero è presente nel dominio

Parameters:

val - l'intero

Returns:

true se val è presente nel dominio, false altrimenti

cardinality

public int cardinality()

Restituisce la cardinalità del dominio

Returns:

la cardinalità del dominio

getMinValue

public int getMinValue()
                throws EmptyDomainException

Restituisce il valore più piccolo appartenente al dominio

Returns:

il valore più piccolo appartenente al dominio

Throws:

EmptyDomainException

getMaxValue

public int getMaxValue()
                throws EmptyDomainException

Restituisce il valore più grande appartenente al dominio

Returns:

il valore più grande appartenente al dominio

Throws:

EmptyDomainException